$\forall$$A$, $B$:Type, $b$:$B$, $a$:$A$. strong{-}subtype($A$;$B$) $\Rightarrow$ \{($b$ = $a$ $\in$ $B$) $\Rightarrow$ ($b$ $\in$ $A$)\}